141. Analysis of categorical data with R /
پدیدآورنده: Christopher R. Bilder, University of Nebraska-Lincoln, Lincoln, Nebraska, USA, Thomas M. Loughin, Simon Fraser University, Surrey, British Columbia, Canada
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics)-- Data processing,R (Computer program language)
رده :
QA169
.
B55
2015
142. Applications of continuous mathematics to computer science /
پدیدآورنده: by Hung T. Nguyen, Vladik Kreinovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics.,Computer science-- Mathematics.,COMPUTERS.,CONTINUITY (MATHEMATICS),Informatik,MATHEMATICS.,Mathematik
رده :
QA76
.
9
.
M35
N49
1997
143. Applied Evolutionary Algorithms in Java
پدیدآورنده: by Robert Ghanea-Hercock.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Electronic data processing.
144. Applied Mathematics: Body and Soul
پدیدآورنده: by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
145. Applied Mathematics: Body and Soul
پدیدآورنده: by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
146. Applied Mathematics: Body and Soul
پدیدآورنده: by Kenneth Eriksson, Claes Johnson, Donald Estep.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
147. Applied Mathematics and Computational Mechanics for Smart Applications
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematics. ; Mechatronics. ; Application software. ; Aerospace Technology and Astronautics. ; -Aerospace engineering. ; Astronautics. ; Mechanical engineering. ; Computer science
148. Applied and Computational Control, Signals, and Circuits
پدیدآورنده: edited by Biswa Nath Datta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Engineering.,Systems engineering.
149. Applied integer programming
پدیدآورنده: / Der-San Chen, Robert G. Batson, Yu Dang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Integer programming
رده :
T57
.
74
.
C454
2010
150. Applied integer programming :
پدیدآورنده: Der-San Chen, Robert G. Batson, Yu Dang.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Integer programming.
رده :
T57
.
74
.
C454
2010
151. Applied physics, system science and computers II :
پدیدآورنده: Klimis Ntalianis, Anca Croitoru, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Physics, Congresses.,System theory, Congresses.,Biological and Medical Physics, Biophysics.,Electrical Engineering.,Engineering.,Mathematical Modeling and Industrial Mathematics.,Operating Procedures, Materials Treatment.,Biophysics.,Computer science.,Electrical engineering.,Mathematical modelling.,Physics.,Production engineering.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.,System theory.
رده :
QC1
152. Approximation algorithms and semidefinite programmin
پدیدآورنده: / Bernd Geartner, Jierai Matouesek
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Approximation algorithms,Semidefinite programming,Mathematics,Information theory,Computer software,Computational complexity,Algorithms,Mathematical optimization,Applications of Mathematics,Theory of Computation,Algorithm Analysis and Problem Complexity,Discrete Mathematics in Computer Science,Optimization
رده :
QA76
.
9
.
A43G37
2012
153. Approximation algorithms and semidefinite programming
پدیدآورنده: Bernd Gärtner, Jiří Matoušek
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Approximation algorithms,Semidefinite programming
رده :
QA76
.
9
.
A43
G37
2012eb
154. Artificial intelligence :
پدیدآورنده: Zhi-Hua Zhou, Qiang Yang, Yang Gao, Yu Zheng (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Discrete mathematics.
رده :
Q334
155. Artificial intelligence and machine learning fundamentals /
پدیدآورنده: Zsolt Nagy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Machine learning.,Neural networks (Computer science),Python (Computer program language),Artificial intelligence.,COMPUTERS / General.,Machine learning.,Neural networks (Computer science),Python (Computer program language)
رده :
Q325
.
5
156. Artificial neural networks in biological and environmental analysis
پدیدآورنده: / Grady Hanrahan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Artificial intelligence--Biological applications,Biology--Data processing,Environmental engineering--Data processing,Neural networks (Computer science)--Scientific applications
رده :
QH324
.
25
.
H36
2011
157. Automated Deduction - A Basis for Applications
پدیدآورنده: edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
158. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
159. Automated deduction in geometr
پدیدآورنده: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
160. Automated technology for verification and analysis :
پدیدآورنده: Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
